Integrating System Dynamics with Object-Role Modeling and Petri Nets

نویسندگان

  • P. Tulinayo
  • Stijn Hoppenbrouwers
  • Patrick van Bommel
  • Henderik Alex Proper
چکیده

The art of System Dynamics (SD) modeling lies in discovering and representing the feedback processes and other elements that determine the dynamics of a system. However, SD shows a lack of means for discovering and expressing precise, language-based concepts in domains. Therefore, we choose to use Object-Role Modeling (ORM) to add high quality formal conceptualization to SD modeling and Petri Nets (PNs) to bridge the gap between static ORM and Dynamic, flow-like aspects of SD. To achieve the integration of these methods, we take a step by step approach where we first identify the conceptual link between SD and ORM, then the key concepts used in these methods, which we later use to derive mappings, transition statements and elements. This helps us to better understand the underlying concepts, the connections between the model structure, and behavior in a sequential manner.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Availability evaluation of Software architecture of object oriented Style using coloured Petri nets

Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

متن کامل

From UML Towards Petri Nets to Specify and Verify

UML nowadays, has emerged as the industry standard for object-oriented modeling. However, it still lacks a well-defined semantic base enabling it to perform formal verification and validation tasks. Our goal being to provide system designers a life cycle of software development integrating conviviality and rigor, we propose a methodology to specify, verify and validate using UML. This methodolo...

متن کامل

Integrating System Dynamics with Conceptual and Process Modeling

The purpose of this research is to provide a basis on which stakeholders make their decisions, to improve System Dynamics (SD) modeling by deploying methods and techniques from system development, and to support in the creation of SD models where, static and dynamic methods are applied together to achieve a common goal. To achieve this we will take a stepwise approach: identify the key concepts...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009